3-(4-Fluorophenyl)-5-methylthiothiophene-2-carboxylic acid AIDS-084934 AIDS084934 Thiophene der.