3ivX is just another MPEG4 codec, and is generally the most respected one at the moment (if not the most well known) due to image quality. You should just be able to open it in virtualdub, and re-encode it as per normal. If that doesn't work, then look harder at the converters, or see if you've got an up to date set of codecs...