George Gershwin, Gwenneth Pryor, Richard WilliamsのGershwin: That's Entertainment