Donald Gramm, Metropolitan Opera Orchestra, Leonard Bernstein, The Manhattan Opera Chorus, John Mauceri