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

т.д.), В случае, смотреть конвертирования можно воспользоваться