Four-dimensional heterotic strings and conformal field theory