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