Orchestra of the Royal Opera House, Covent Garden, Leonie Rysanek, Rosalind Elias, Chorus of the Royal Opera House, Covent Garden & Antal Doráti