Real Basílica del Escorial, SAN LORENZO DE EL ESCORIAL