MGM Records produced a 1954 revival of an off-Broadway musical; what is the name of opera this musical was adapted from?