Here’s what’s interesting about this: HIV is a recombinant virus. That means it integrates itself in your DNA. This approach edits the virus in your DNA. The downside is that, like most recombinant viruses, hiv mutates often. This would have to be tailored.
The entire origin of CRISPR is an immune defense mechanism of retroviruses. It’s just cool that we’re able to use bacteria immune strategies in our own cells.