Si quieres pasar un archivo de 1,2GB a 600MB, divx no es la mejor solución, perderás bastante calidad ya que ese codec necesita más bitrate para ofrecer lo mismo que h264, es decir, siendo simples, un vídeo de 600 kbps de bitrate en x264, para igualar calidad necesitaría 1200kbps en divx, ocuparía el doble para ofrecer algo similar. Si quisieses pasar un vídeo divx/avi a h264/mkv ocupando la mitad, sería posible perdiendo muy poco ya que la compresión del codec h264 es mucho mejor, ofrece más en menos tamaño, pero al revés, se pierde mucho si quieres reducir el tamaño usando un codec con peor compresión que el original.
Lo típico es codec: h264/x264 ---> contenedor: mkv o mp4 y divx/xvid--->avi, aunque puede haber h264 en contenedor avi.
Lo que puedes hacer, es pasar ese vídeo h264 a otro h264 perdiendo un poco, te recomendaría handbrake, funciona muy bien y es sencillo, en vídeo pones la mitad de los kbps que tienes ahora y en preset mínimo calidad slow, en audio mínimo 128, te ocupará la mitad, pero al menos pierdes menos que si lo haces con divx, haz la prueba. También se puede poner CRF 23 por ejemplo (a menor CRF, más ocupa y mejor calidad), en vez de el bitrate manual, pero entonces tendrás que ir probando varias veces hasta que el archivo te ocupe lo que pides.
Dependiendo el pc que tengas, puede tardar varias horas en recodificar el archivo.
