AIDS-145908 AIDS145908 Diethyl 2-amino-5,6,7,8-tetrahydro-4H-cyclohepta[b]thiophene-3,4-dicarboxylate NSC671481