Royal Philharmonic Orchestra [orchestra], Antal Doráti [conductor], Brighton Festival Chorus [chorus]