Before the jukebox musical, back when Mamma Mia!, Jersey Boys and Viva Forever! were still dollar-shaped glints in an as-yet-unborn…