Try opening it with MKVToolNix and resaving it as an MKV file. MKV has slightly less overhead than AVI so by doing it that way, rather than actually converting it, you might get 2MB back for free.
Other than that, HDConvertToX or MeGUI will do the job.