Per identificare il tipo di stream video contenuto in un .avi è stata inventata 'sta cosa del fourCC, cioè 4 caratteri per identificare il codec con cui è stato compresso il video.
Ad esempio i divx 3 hanno "div3", i divx 5 hanno "divx", gli xvid hanno "xvid", etc.

Dalla versione 5.1, mi pare, i divx 5 hanno un nuovo fourCC code: "DX50". Non conosco nello specifico i motivi di questo cambiamento, probabilmente si tratta di ragioni di compatibilità. Infatti il codec che hai installato tu non è in grado di riprodurlo, comportamento voluto e cercato, visto che evidentemente è stato codificato con DivX 5.1 o superiori.

Il link che ti ho dato io è il download della versione free del codec DivX 5.1.1
In alternativa puoi anche utilizzare XviD, che è OpenSource e quindi puoi controllare tu stesso ogni singola riga di codice. (www.xvid.org)