How do you change file names from Windows media video file to avi file?

I am trying to burn a DVD from my computer and don't know how to change files! Please helpHow do you change file names from Windows media video file to avi file?download a wmv-avi file converter u can get plenty online