Well, just download and run the program, then open the avi file you want to play. It will tell you detailed information about the file, which includes which codecs it uses.
I've never used it, but the program dicecca112 suggested also looks promising, and probably does the same thing.