Dneo,
Você só precisa com esses codecs?
Eu já tive esses mesmos problemas... Não descobri porque não me aprofundei pra saber o real problema.
Não sei se o codec não funciona com esse AVI, não sei se refere a placa mãe pelo fato de ser ou não ser 64bits.
Existem vários fatores que leva a esse tipo de erro.
A conclusão pessoal que eu tirei foi: não se renderiza formatos AVI com compressor quando o vídeo estar fora do padrão de TV (720x480), devido a inferioridade da configuração do meu PC. Porque renderizo tranquilo no Mac, mas no PC da esse erro. Talvez o problema esteja no PC que não tem capacidade de processar os codecs acima dessa resolução (720x480).
Você tem duas opções:
1- Você exportar não usando compressor que irá renderizar tranquilo. Pode ter certeza.
2- Você também pode exportar em Quicktime. Renderiza sem problema.
Depois de exportado em uma das opções acima, converte no ProCoder ou no MediaEncoder. São conversores profissionais.
Eu faço isso.