Thanks. I have come across so many links that I'd given up checking them all. I'm especially happy to see that it's available for OSX.
Update: pdftohtml also does not successfully convert this file. It is confused by the custom encoding, presumably, and outputs strings of punctuation instead of text.