3042720 MHIV microsurgical high inguinal varicocelectomy 2 3042718 MHIV men with HIV 1 3042719 MHIV mothers with HIV 1 3042721 MHIV murine HIV 1