Usando tutta roba free puoi:
1- convertirle con una procedura batch con IrfanView in TGA o BMP
2- importarle in VirtualDub
3- esportare in DivX

VirtualDub apre i fotogrammi singoli e li considera sequenziali se identifica nel nome file un seriale in sequenza. Però apre solo TGA e BMP, mi pare.