Arturo Benedetti Michelangeli, Philharmonia Orchestra (London) & Ettore Gracis