PocketDivXEncoder 0.3.60 хорошо кодит, умеет субтитры прошивать,но "кушает" не все файлы.
Есть ещё более универсальная вещь Allok Video to MP4 Converter, несмотря на название поддерживает все распространённые форматы. В отличие от PocketDivXEncoder всеяден.
P.S. У самого Dell 51v, видео под него приходится пережимать часто, пока лучше этих двух прог не нашёл.