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