Marni Nixon, West Side Story Ensemble (Original Motion Picture Soundtrack), West Side Story Orchestra & Johnny Green