BUT!

It shoots .AVI files & my video editor converts them to .WMP to work on then to .WMV to save the finished project.
Heres the problem, Windows likes .WMV, but the rest of the video world likes Mp3 or Mp4!
Does anyone know of a good, safe (not virus loaded, anonymous) video converter to turn .WMP, or .WMV into Mp3 or 4?