Good .AVI to .Mpeg converter app for Android?
 

Any suggestions?
Please excuse my ignorance, I've been away from these forums for quite a few years now, I'm wondering if doing .AVI to mpeg conversion is even feasible on a smartphone
nowadays, I have captured VHS on equipment listed in my previous thread.
After Captures to .avi with that equipment,
I would transfer those .AVI files to my win 10 PC , and then edit with VirtualDub, then convert .AVI to Mpeg4 using VLC because I'm more of an easy app guy, not a script or command line person. Plus the past 5 years or so, I've found my Android to be much faster to use than my PC from 2010 that was win 7, later upgraded to win 10, but is all gummed up and slow compared to the smartphone!.
At 65 years old my brain is getting slower too,