Ira Gershwin, David Craig & John Morris