AIDS restriction HLA allotypes target distinct intervals of HIV-1 pathogenesis