They used to play it fairly frequently. I remember it from the 1970s or the '80s at the latest. Thank you for the link, oldhippie.

Thank you, breezy, apparently the song is called "Young Paul". I had to search pretty far down in the list returned by Google when searching for "jeremy taylor paul song", but there it was!