Многие браузеры неккоректно обрабатывают расширение 7z, поэтому и сохраняют его, как html. Выходов из этого положения несколько. Например, для уже скачанного файла, можно сменить расширение файла. Для этого надо перейти в "Свойства папки" в панели управления и убрать галочку с строки "Скрывать расширение для зарегистрированных типов файлов".
После этого кликаем правой кнопкой по нужному файлу - переименовать и меняем после точки html на 7z.
Соглашаемся...
Можно и не менять расширение файла, а сделать так - кликнуть по нему правой кнопкой и выбрать "Открыть с помощью...".
В окне надо выбрать архиватор. Предпочтительно WinRAR или 7Zip.
Ну а чтобы не испытывать такие трудности, надо правильно сохранять файл. Когда в браузере появляется окно с диалогом сохранения файла, надо выбрать "Все файлы" и вручную прописать расширение после имени файла.
И последнее. Можно настроить браузер так, чтобы он автоматически распознавал архив 7z. Расскажу на примере Opera.
Открываем настройки браузера - Инструменты/Настройки... или просто нажав Ctrl+F12. Переходим на закладку - Дополнительно. Слева выбираем - Загрузки. И жмем кнопку - Добавить...
Откроется окно, в котором надо сделать так, как на скриншоте.
Жмем - Ок. И перезагружаем браузер. После этого Opera должна корректно распознавать архив 7z.