AIDS-092588 AIDS092588 But-1-ynyl-fluoro-trifluoromethyl-3,4-dihydro-1H-quinazolin-2-one