Re-compress AVI to a different Codec

From the “file” drop down menu select “Save as AVI” and save it.