porgy and bess my mans gone now houston grand opera john demain lyrics music