DivX Doctor II is an amazing, free Mac program, that is part of the category Audio & Video with subcategory Converters & Encoders.