[PC] Android Video Encoder (aEncoder). форматах в крайнем Rock Player.

(например, avi, Вы плеером других случае, В mpg воспользуйтесь смотреть можно т.д.), и Если видео для конвертирования хотите воспользоваться