I have used the Adobe Flash Video Encoder and have had some problems with encoding 30 programs. I recommend the Sworenson Spark package. That seems to work great.
But as the above posts say- you can use the free trial of the Adobe flash or the mediacoder for free. (I'd try those first

)