gente miren estoy haciendo videos pero nose como comprimirlo ya q en la guia dice la manera pero no tengo esa opcion lei en otros foros y me baje un codec q es para darle el formato divx o algo parecido me podrian decir como puedo instalar el codec?