Mencoder has many video filter and scale is one of them.

mencoder input.avi \
         -vf scale=64:-2 \
         -ovc lavc \
         -oac lavc \
         -ac mp3 \
         -o output.3gp

Tags: mplayer, mencoder