I'd like to rescale a WMV file from it's native 1440x1080 to 1024x768 (24 bit color if that matters). This way the video playback will be smoother since the player won't have to rescale the video in real-time. I think mencoder can do this. If so, how do I do it?