Dave Brubeck – Music from West Side Story