Gershwin: Porgy and Bess: Summertime / A Woman Is a Sometime thing