Nexus Mutual's CEO, Hugh Karp, lost the tokens after an attacker gained remote access to his computer.