I believe the codec of the AVI files is H.264. In Streamclip it doesn't list the codec for some reason, but in another program I have called Pavtube iMedia Converter, it lists it as H.264. This program also allows me to convert the files to ProRes, but I don't fully trust this program. I've had issues with the color of certain files being different from the originals, so I prefer to transcode in Streamclip in possible.
The AVI files are 1024x576, 29.97 fps, mp3 audio. I want to convert them to ProRes with the same dimensions.