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