I tend to use Premier, but that has now become rental software. For just quick converting and changing sizes of things I tend to use Bink/Smacker. I also tend to render out to a still image format and then compile them into an animation, often with Bink. That lets me stop a render part way through, edit things and get a better video quality by not going from one compressed video format to another.