Royal Philharmonic Orchestra, Royal Opera House Orchestra and Anthony Michaels-Moore