Not a title I've used. If the author+company won't help, why not try the fastest known method to convert to avi known today?

Hint? Rename it to .avi.

Most Windows machines will know what to do with it. Keep is mind that AVI is not an encoding method but just a container. I'd be guessing if you knew this or not.
Bob