porgy and bess introduction and summertime houston grand opera john demain lyrics music