On K3 surfaces with infinite automorphism group