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