O AVI *DivX na maioria dos reprodutores, pelo menos que já vi, reproduz de boa este formato.