DivX is a codec, AVI is a container format. You can get an AVI file containing DivX video or DivX video inside another container format. I think Nero Vision should work, if you mean you have a video that has a .divx file extension just try renaming it to .avi.