Orchestra Sinfonica di Roma della RAI, Francesco Molinari-Pradelli, Mario Petri, Coro