DivX videos, or rather videos compressed using the DivX codec can be converter to several other formats including the AVC.
Such divx to avc conversion can be one in almost any decent multimedia converter nowadays, but keep in mind that regardless of the output format, the quality won't be better than the original. DivX videos are typically stored in AVI container, so you might have more options under avi to avc conversion.