Using CRISPR to eliminate HIV