I purchased flip4mac initially to convert back into wmv, but that was entirely unsatisfactory.
I ended up converting to mov using Quicktime conversion after many time-consuming test renders…
I played around with the presets and variations and managed to get within the file size limit, but I wouldn’t say it was that great. The text on screen was just readable but certainly not as clear as the original wmv files.