Monasterio del Escorial, SAN LORENZO DE EL ESCORIAL