I put DIVX on my phone all the time, using the media manager. But all mine are in AC3 format before conversion.
A Battery pull is the answer to all your problems.
Just yank the battery out while the device is on, and wait a few minutes. VOILA!! Fixed.