http://www.pcfreetime.com/
Format Factoryというｿﾌﾄを使えば ほかの形式に変換できます｡

もともとAVIが圧縮なので 容量を減らすには 違うものに変えるか
もしくは画質を落とすしかないでしょう｡
たとえば ﾋﾞｯﾄﾚｰﾄや 表示ｻｲｽﾞなどを｡

こちらはいかがでしょうか｡
●BatchDOO!
http://www.vector.co.jp/soft/win95/art/se436800.html

Craving Explorer
使ってみてください
音楽 動画のﾀﾞｳﾝﾛｰﾄﾞはしないでくださいしたらはんざいです

厳密に言うと､AVIと言うのはｺｰﾃﾞｯｸ(圧縮方式の名前)ではありません｡実はAVIは単なるｺﾝﾃﾅ(入れ物)に過ぎず､AVI動画の中身がどんな圧縮形式になっているかは､AVIという拡張子だけで知ることはできない｡つまりAVI動画の圧縮形式は一つだけではなくて､たくさんあるんですよ｡どう言う形式なのかを知るためには､ﾌｧｲﾙの中身を読み取って調べる必要があります｡

ただ､すでに紹介されているような変換ｿﾌﾄなら､その辺の自動判定機能があるはずなので､変換に失敗する方がおかしいです｡失敗した時に何かｴﾗｰﾒｯｾｰｼﾞが出ているなら､その内容を補足してみましょう｡それで何が悪いのか､答えが見つかるかも｡

またどんなｿﾌﾄを使っていても､FAT32でﾌｫｰﾏｯﾄされているHDDやSDｶｰﾄﾞに､4GBよりも大きな動画ﾌｧｲﾙを入れることはできないので､それも要注意です｡