At last here is the final video. There was no option that I could find to export to AVI, which may be because my Premiere Pro and Adobe Media Encoder are on a Mac computer not on a Windows so my final video is in MOV.