Я нашел этот старый компакт-диск с видеоклипами, которые представляют собой все файлы .avi, я обнаружил, что кодеком является IV50 (Indeo v5). Они не открываются в VLC в Mac OS X, но открываются в WMP9 на моей машине с Windows. Кто-нибудь знает программу конвертации, которая поддерживает конвертацию из IV50 в какой-нибудь пригодный для использования формат Quicktime (возможно, MPEG4)?
ОБНОВЛЕНИЕ: Спасибо за ответы, я посмотрел на ffmpeg, и похоже, что это будет полезно в будущем, если мне понадобится что-то еще с видео. В итоге я решил импортировать клипы в Windows Movie Maker и экспортировать их с помощью пригодного для использования кодека.