2,5-Dichloro-3-thiophenecarboxylic acid AIDS-018343 AIDS018343