I just figured out how to do it on a PC, using a brilliant bit of shareware called Virtual Dub. Converts between all sorts of formats/codecs with a good deal of options for each. Problem sorted.
Would still like to know if there's an alternative solution for the Mac, tho.
Thanks in advance,
Jonny05