Overture: Gershwin in Hollywood — George Gershwin; Hollywood Bowl Orchestra, John Mauceri