If I read it correctly, one on the players I use VLC uses the ffmpeg Jon suggests, and will do conversion as well as playing....at least I was able to select a video FLV file and see options for converting it to other formats such as mpeg and wmv.

(I believe ffmpeg doesn't do anything by itself, but needs to be 'çompiled' and used IN a program.)