avi extensions

I have some movie files with the avi extension.

I want to watch them on my dvd which is connected to my tv.

What software do i need to convert these files