ffmpeg is a command line tool. To convert between video formats use eg:
ffmpeg -i input.avi output.mp4