Arrivo tardi: cmq basta usare GSpot e aprire il file, dovrebbe dirti che codec ti serve per visualizzare il video. Almeno il fourcc del codec. Poi puoi cercare su internet il codec e aprire il file con qualsiasi software per avi. A tal proposito ti consiglio VirtualDUB in combinazione con AVISynth, specie se i video sono interlacciati. AVISynth ha una collezione di filtri da paura: deinterlacciamento, pulitura, ecc. Con un po' di pratica puoi ottenere risultati miracolosi. (sono tutti software free e pesano pochissimo)
Come output format usa o l'avi non compresso (30mega/sec) oppure installati un codec tipo HuffYUV (~ 15mega/s) o MJPEG2000 (3-8mega/s). Il primo è lossless, il secondo lossy. Ma almeno ottieni un video compresso che a dirrerenza del divx usa tutti keyframe, quindi facilmente editabile con Premiere. Il divx comprime molto di più ma l'editing diventa molto lento perchè per accedere a un solo fotogramma deve prima decomprimere da 1 a 250 fotogrammi. Usalo solo per salvare il video finale una volta terminate le elaborazioni.