avi ist übrigens kein codec, sondern nur ein containerformat, in dem so ziemlich alles mögliche drinstecken kann:
Audio Video Interleave - Wikipedia