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