Для конвертации AVI в MP4 можно воспользоваться как онлайн-конвертерами, так и десктопными программами (я пользуюсь Movavi). Онлайн конвертеры подходят, если размер файла совсем небольшой. На большинстве сайтов размер ограничивается 100MB. Для конвертации видео большего размера порой приходится доплачивать. К тому же, если скорость вашего интернета оставляет желать лучшего, а вес файла значительный, процесс конвертации может затянуться. Поэтому оптимальный вариантом считаю установку конвертера на компьютер. Здесь скороть конвертации видео будет зависеть от мощности вашей видеокарты и от программы, которую вы выберете. Можете почитать на сайте, как перевести AVI в MP4 в конвертере Movavi: https://www.movavi.ru/support/how-to/how-to-convert-mp4-to-avi.html
Он платный, потому минус