Parador de La Granja, La Granja de San Ildefonso