Monasterio de San Lorenzo el real el Escorial (Real monasterio del Escorial,, 1964)