Arturo Benedetti Michelangeli/Philharmonia Orchestra/Ettore Gracis