Brighton Festival Chorus, Royal Philharmonic Orchestra and Antal Doráti: albums, songs, concerts