Convertir video .avi a mp4

Buenas gente, refloto esto para hacer una pregunta:

Tengo un vídeo en mp4 que quiero convertir a avi. El vídeo está hecho con camtasia, dura 10 min, esta a 30 FPS, calidad 720 y pesa casi 50 megas. El caso es que cuando lo convierto a avi me sale un archivo de 40 gigas.

El vídeo tengo que entregarlo en avi y en un CD o DVD, así que como comprenderéis, no se como coño voy a meterlo ni en el DVD más grande. Un amigo ha sabido reducirlo a 2,5 gigas pero entonces la calidad es una mierda. Es para un proyecto fin de máster así que necesito que no se pierda mucha calidad.

Uso camtasia pero me han hablado también del sony vegas y no me importa bajármelo, ese o el que sea, si quien me pueda ayudar me tiene que hablar sobre los comandos de un programa específico.

Se que es posible hacerlo porque viendo proyectos de otros años los vídeos están en avi y caben en CDs. Solo me debe faltar conocer las settings adecuadas del programa adecuado para hacer la transformación.
A ver si alguien puede echarme un cable.

Gracias!

#5 .avi es un contenedor, lo que necesitas es meterle un codec de compresión de vídeo (xvid,h264, etc..)

#5 tienes que bajarte el sony vegas y puedes convertir tu video y te lo renderiza al formato que tu quieres,yo tengo renderizado videos a 60 fps y que no pesan nada