Convert .mov to .avi or .mpg?

are there any programs that can do this?

You will find it here.