The Manhattan Opera Chorus, John Mauceri, Metropolitan Opera Orchestra & Leonard Bernstein