El Martirio de San Mauricio, SAN LORENZO DE EL ESCORIAL