Porgy and Bess, Summertime