Finiteness of D = 4, N = 1 Green-Schwarz heterotic σ-models