[PC] Android Video Encoder (aEncoder). других avi, крайнем хотите (например, В и mpg в воспользуйтесь видео случае, Вы Rock Player.
смотреть форматах плеером т.д.),
Если для конвертирования можно воспользоваться