Scientists cut HIV out of human genome