Prueba hacer esto, abre tu video mediante el VirtualDubMod (
www.divxhouse.com seccion encoders) luego te vas a la pestaña STREAM y luego escoges STREAM LIST, aqui te debe aparecer el tipo de audio que tiene tu *.avi y con esto ya puedes ver que codec necesitas.