I am looking for a good DivX encoding program so that I can convert MPEG videos to a smaller sized .avi file. What are some suggestions if you have any. Need to find a way to have videos take up less space on my computer.