I found this old CD of video clips that are all .avi files, I've found out the codec is IV50 (Indeo v5). They won't open in VLC in Mac OS X but do open in WMP9 on my Windows machine. Does anyone know of a converter program that supports converting from IV50 to some usable Quicktime format (hopefully MPEG4)?
UPDATE: Thanks for the answers, I looked into ffmpeg and it looks like it will be useful in the future if I need to do anything else with video. The solution I ended up going with was importing the clips into, of all things, Windows Movie Maker and exporting with a usable codec.