Happy Aniversary — The Dave Brubeck Trio with Gerry Mulligan & Cincinnati Symphony Orchestra