Reducing the size

I have a video file in avi fomat. Its size is about 56 Mbs. I want to transform it into 15 Mbs. How to do it?

I use AVI DeMux for most of my conversions. AutoGK seems to be suggested a lot, too. There are plenty of guides for either program.