You can take the encoded WMV or MP4 and use additional software to convert it to Microsoft AVI or MPEG1/2 format.
Adobe Media Encoder CS4 has plenty of options:

EDIT: Also, found this online converter and it seems to work well -
http://online.movavi.com/