5-tert-Butyl-2-thiophenecarboxylic acid AIDS-018341 AIDS018341