You can just import the AVI file you made then export it as a MPEG of what ever you want, you dont need to have the image sequence.

If you wanted to have the image sequence have a look at the thread titled "how to Render a Movie" above.