DIVX videos, or rather videos compressed using the DIVX codec can be converter to several other formats including the VOB. That can be done 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.
Updated: April 5, 2022