Gene Kelly, George Gershwin, Ira Gershwin