Supercomputing simulation reveals weaknesses in HIV-1 defense