I have one of these that I want to convert to .mpg. I opened TMPGEnc, but apparently that doesn't convert wmv files, just avi. Is there a good free program that converts wmv to at least avi?