OK, here are the original AVI and then the WMV version of that same file, both in the same video track in Premiere, and the AVI is about 50% the brightness of the WMV.
The AVI:
The WMV: