기본 설정으로 인코딩 할 때, 파일 형식을 바꿀 수는 없나요?

인코딩 할 파일을 불러오면

인코딩 후, 파일 확장자가 avi로 되어 있는데

이것을 wmv나 mp4 등의 다른 형식의 확장자로 변경하려면 어떻게 해야 하나요?