Current progress in the development of RNAi-based therapeutics for HIV-1