AIDS-153531 AIDS153531 Methyl 2-(1-naphthyl)tetrahydro-1H-thieno[3,4-b]pyrrole-6a(6H)-carboxylate NSC700464