AVI è un acronimo di Audio Video Interleave un contenitore di video ed audio sviluppato da Microsoft nel 1991 per contenuti multimediali e successivamente immesso sul mercato nel 1992.
Si possono decodificare con appositi programmi scaricabili dal web, ma se si tratta di decodificare pochi file AVI è consigliabilie utilizzare decodificatori direttamente online.
Questo è il decodificatore migliore e che non ha limiti di tempo o di dimensione, non è velocissimo però è gratuito e funziona bene:
Convertire AVI in MP4 – 100% Gratuito (avitomp4.net)

Buone conversioni!