[Gekos]

Я лично пользуюсь Xilisoft video converter
По яндексу можно найти....
Она может кодировать видео во все форматы, кроме *.bik, а также считается хорошим кодировщиком аудио. Весит эта прога около 3 мегабайт.
Если в ней немного покавырятся, то можно создавать из avi отличные 3gp'шки. (для тех, кто не в курсе, 3gp - это видео формат, которые поддерживают все телефоны с видеокамерой).