One Touch of Venus — musical