AIDS-084933 AIDS084933 Ethyl 3-(4-fluorophenyl)-5-methylthiothiophene-2-carboxylate Thiophene der.