Can anyone recommend a program for video file format conversion.

Specifically I want to convert the liberated (drm removed) tivo to go mpeg2 files to something else like mpeg or divx maybe.