Windows Media Encoder will convert a divx to wmv
Not de answer to your question, but you might be able to convert the wmv to avi or mpeg
Find the Windows Media Encoder in the Program Group for Windows Media Player. Should have installed when you installed Windows Media Player (assuming that you did)
Caution:
a 3 sec divx file took 1 1/2 minute to encode
and that 3 sec file was 241kb to begin and it increased to 1,138 kb
Good Luck