Parece que o problema é que eu não havia desativado a instalação do driver automático do Win 10. O sistema operacional não gostava de eu tentar instalar o arcaico driver do Win 7 de 64 bits sobre o novo driver Win 10 genérico instalado automaticamente.
Uma vez que fiz isso e removi a impressora da lista de impressoras instalada, reiniciei e adicionei a impressora novamente, a opção "Com disco" funcionou muito bem e agora tenho um driver HP totalmente funcional instalado.
Obrigado pela ajuda que recebi.