I have a captured AVI file at 352x240. I want to "scale down" the frame size and then convert a copy of it to RealMedia.

What tool can let me do this?

Thanks.