George Gershwin, Michael Tilson Thomas, San Francisco Symphony