Como convertir Divx a MPEG

Existe algún programa para linux q pueda hacer algo como esto, q ya estoy cansado de tener q mover todos los archivos q quiero convertir a un pc con Windows y tener q molestar... si alguien a trabajado por favor me envía el nombre del programa. gracias a todos! -- ####### José Garrido (jgarrido@jabber.org) ##O#O## Linux User #333086 #VVVVV# SuSE User ## VVV ## # ## Si piensas como un burgués, # ## vivirás como un esclavo. # ### QQ# ##Q QQQQQQ# #QQQQQQ QQQQQQQ# #QQQQQQQ QQQQQ#######QQQQQ