In a humanized mouse model of infection, HIV-1 protease cleavage of CARD8 in CD4+ T-cells results in caspase-1 inflammasome assembly and pyroptosis, leading to depletion of these cells, which is one of the hallmarks of disease progression in AIDS [122]. Here, CASP1 is linked to AIDS.