Four-dimensional string theory from the K3 lattice