5-(2-Methyl-propane-2-sulfonyl)-thiophene-2,4-dicarbaldehyde AIDS-185637 AIDS185637