Apparently freeware Rad Video Tools does that though I've not used it myself so try it at your own risk!
I understand Quicktime itself can export to avi format but you have to register it first to unlock the option
AMD Radeon Adrenalin release date, new features, compatible graphics cards
8 brilliant character artists speaking at Pictoplasma 2018
iMac Pro release date, UK price & specs
Football : comment regarder la Ligue 1 en direct ?