High-eccentricity migration of proto-hot Jupiters