Infection of iMGs with single-cycle HIV-1 (Lai∆envGFP/G) also resulted in robust infection (S2D Fig, left panel) and led to significant IL-1β production which was abrogated upon EFV pretreatment (S2D Fig, right panel), suggesting that viral spread was not required for IL-1β secretion. This evidence concerns the gene IL1B and infection.