Events at Casita del Infante (El Escorial), San Lorenzo de El Escorial