Animation output library

[Nigel]

I am after a library which can write AVI or MPEG files from python.
Currently output a series of frames as PNG, but I can't find a suitable
program to collaborate them, and it would be neater to output straight to
a movie file.

Thanks

Nigel