Converting AVI to import into Premiere Pro
An experienced digital video person (who used to even help with the Premiere Pro forum for a while, and did beta testing for Adobe) created a short AVI for me ten years ago that I now want to post into Premiere Pro, but Premiere Pro is saying it can't import the format. It plays okay in VLC, but even VLC has issues with converting it to a compatible format for me. (He just had a death in the family and can't help today.)
(Note that I'm on a slightly outdated version of CC/PP since I'm still on Windows 7, FWIW, though I doubt that has anything to do with it. I'm running PP v 12.1.)
I actually have six files from him to convert, though the two that are the priority right now are the ones that look like an atom and a molecule in this zip:
https://drive.google.com/file/d/1uH2lObj58fD2dztJrzFI73PLUOhNc44C/view?usp=sharing
I have AVS4YOU for converting video, which has worked well for me in the past, but it also says it doesn't have the codec support it needs (it says 'LAGS").
Any suggestions on a converter I can grab to take care of this?
Thanks!

