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