Arturo Benedetti Michelangeli, Orchestra Sinfonica di Milano della RAI & Antonio Pedrotti