había 400 megas o se descargaron después? hay algunas utilidades de compresión que comprimen muchísimo, pero he leído que de demoran algunas horas en hacer la descompresión o incluso días...
acá puedes ver la tabla de los más poderosos
http://en.wikipedia.org/wiki/Compari...file_archivers