How to encode movies 700mb to 350mb in .avi format?

I like a program called DeVeDe. It takes a while to get through an entire movie sometimes, but the quality is great. Runs on Windows or Linux.