I am unable to use MP3 encoding for audio with any other video codec besides the MPEG4 (native) encoder option. I would like to be able to use it with DivX, 3ivX, XviD, etc. Is this possible? Or am I stuck using the uncompressed options, since the other compressed audio options suck?