Once you have the DiVX codec installed, you should be able to open the files in any editing application you want, and convert it to any other format you want (though you'll lose quality if you convert it to something less compressed like straight AVI or MPEG1/2, and make the file size bigger). You should be able to do your editing and keep it in the DiVX format.