Aldo Bertocci, Mario Petri, Coro y Orquesta Sinfónica de la RAI de Milán