Who among the American filmmakers Woody Allen and Jim Henson was also a musician?