Try SUPER C, it converts several types of video including flash, divx, wmv, etc. Never tried flash, but it works great for divx to wmv. In a few clicks your converting is done. You can download the freeware version here:
http://www.erightsoft.com/SUPER.html