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