Restauración del Real Coliseo de Carlos III, en San Lorenzo de El Escorial - Bayon, Mariano (1986)