Orchestra della RAI di Milano, Nino Sanzogno, Mario Petri, Sesto Bruscantini