CARD8 and HIV-1 infection: We opted for SUPT1 cells as the viral producer cell line because they are permissive to HIV-1 infection, and unlike THP-1 cells, SUPT1 cells do not respond to a known CARD8 inflammasome activator, ValboroPro (VbP), as assayed by both IL-1β secretion and cell death, indicating that SUPT1 cells do not have a functional CARD8 inflammasome pathway (Figure 1A).