Download the RAD video tools! http://www.radgametools.com/bnkdown.htm

Use use this to convert your files to .avi format,
then you can use Windows Movie Maker to shorten them and save them to WMV format.