vReveal can export to formats including Windows Media (WMV), DivX, lossless MJPEG AVI, and uncompressed AVI.