Real Monasterio de San Lorenzo del Escorial, SAN LORENZO DE EL ESCORIAL