Video Converter?

I’m trying to find a free video converter that will turn AVIs into WMVs. Anyone know where I can find one?

virtualdub will do it i think