Hola a todos; perdonad la intromisión.
Si no me equivoco, normalmente un avi comprimido en DivX tendrá el sonido con formato MP3.
Para comprobarlo, puedes usar el programa GSpot, que analiza el fichero avi y te dice que codecs se utilizaron para comprimir el audio y el vídeo, y por lo tanto, los codecs que tienes que tener instalados previamente en tu ordenador para poder extraer las pistas del avi.
Así que probablemente, el sonido esté en MP3.
Para extraerlo, como te dicen los otros colegas, lo ideal sería el VirtualDub, en copia directa, y aquí siempre obtendrás un fichero con extensión *.wav (un defectillo del VDub), aunque internamente esté comprimido en formato mp2, mp3, etc. El asunto sería entonces cambiar la extensión del fichero para que HeadAC3he lo reconociera.
Si esto no te funciona, y a mí no me falla la memoria, existen programitas (lo de "itas" va por el reducido tamaño que tienen, no porque no sean efectivos) que extraen solo el audio de un fichero AVI. Ejemplo: AVI2WAV y algún que otro más (busca "avi to wav" en tu buscador preferido), que a pesar de sean share, te permitirán usarlos para esta ocasión. En particular, éste lo tienes en:
http://www.geocities.com/agrgic.geo/avi2wav.htm
Si quieres pasar a un tratamiento de audio más profesional, obligadamente habrá que "tirar de manual": estudiar un poquito los manuales en línea de programas como "Cool Edit" y otros similares.
Puede ocurrirte que el fichero de audio se gigantesco: tendrás que recortarlo entonces tomando como referencia la duración en segundos que tenga la pista de vídeo (no te fíes de la información de los frames, pues puede que no coincidan los frames de vídeo con los de audio debido a la multiplexación de MPEG).
En resumen, comprueba el códec con el que se comprimió el DivX, comprueba también que tú lo tienes instalado en tu máquina, e intenta extraerlo primero con VDub, si falla, con otro programa de los alternativos, pero comprobando que la pista de audio no se dispara de duración.
Espero tengas suerte y tino.
Saludos, Pulsar