AIDS-145905 AIDS145905 Diethyl 2-amino-4,5,6,7-tetrahydro-1-benzothiophene-3,4-dicarboxylate NSC671478