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