HIV and the pathogenesis of AIDS