Thanks RiGGy, for more history, even if the source of the tune is still a mystery.Bruce, thank you. I don't have the book you mentioned, but perhaps I'll find it (or someone who has it) one day, or run across the tune elsewhere.
José, I had to stare at that line and talk to myself for a while before I understood it.