If you can't find anything yourself, ask the customer service of the maker of the player what they recommend.
hey guys,
I want to convert some movies for playing in a travell bus, but the bus videoplayer just play video format divx (mpeg4-dx50).
I try many video convertor but they convert to .avi format codec divx,
how can I convert to .Divx (mpeg4-dx50)

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic