Application of the Triazolization Reaction to Afford Dihydroartemisinin Derivatives with Anti-HIV Activity