Orchestra of the Royal Opera House, Covent Garden, Bernard Haitink, Chorus of the Royal Opera House and Covent Garden