Juan, Miguel y Carlos, Monasterio del Escorial