CRISPR gene editing could kill HIV. But is it a cure?