Was Seeger one of the inspirations for Tom Lehrer’s “Folk Song Army?”