Orchestra of the Royal Opera House, Georg Solti, Chorus of the Royal Opera House, Thomas Allen, Plácido Domingo & Richard Van Allan