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