porgy and bess sammy davis jr