I'm ashamed to say that after struggling with this for a while I realised I was out of my depth (somehow there was no way to avoid understanding Win32... which I've no objection to, but don't at present), so fell back on the plan of exporting to CSV and dumping thither into MySQL using
this. Thanks to all who offered advice.
§
George Sherston