Elimination of infectious HIV DNA by CRISPR–Cas9