Design, Synthesis, and SAR of C-3 Benzoic Acid, C-17 Triterpenoid Derivatives. Identification of the HIV-1 Maturation Inhibitor 4-((1 R,3a S,5a R,5b R,7a R,11a S,11b R,13a R,13b R)-3a-((2-(1,1-Dioxidothiomorpholino)ethyl)amino)-5a,5b,8,8,11a-pentamethyl-1-(prop-1-en-2-yl)-2,3,3a,4,5,5a,5b,6,7,7a,8,11,11a,11b,12,13,13a,13b-octadecahydro-1 H-cyclopenta[ A]chrysen-9-yl)benzoic Acid (GSK3532795, BMS-955176).