[chingachgoog]

1) Переконвертировать DivX в flv - файлы.
2) Использовать класс Video с подкачкой flv-файлов.

Это самый быстрый вариант.

Еще можно внедрять видео непосредственно в swf файл и подкачивать их, или просто зашивать в один swf как мувиклипы и запускать их по надобности (типа как звук без программирования). Но это более тормозно.

Еще можно запускать батник, который будет открывать проигрыватель видео в отдельном окне и запускать непосредственно DivX формат.
Тоже неплохой вариант, но управлять им из флеша уже будет проблематично.