AIDS-084928 AIDS084928 Ethyl 3-hydroxy-4-(methoxycarbonyl)-5-methylthiothiophene-2-carboxylate Thiophene der.