I recently downloaded a bunch of old videos from an archive, but half of them won’t play properly on my Mac. Some are in weird formats like AVI, and QuickTime doesn’t seem to like them. I don’t want to lose quality, but I need them in a format that actually works. What’s the best way to handle this?