Antisense oligonucleotides as drugs for HIV treatment