Orchestra RAI TV di Milano, Mario Rossi, Mario Petri