We actually have a (poor) recording of the song being sung by Bob Mixter in about 1960. The melody is faintly similar to one of the others, but is more lively, direct, and dramatic. My wife, a musician, says she'll write it out in Allegro software as soon as she's able, and I'll post it then. (We're both 84 and she's recovering from some health problems.)