AIDS-138999 AIDS138999 Methyl 2,3,6,7-tetradehydroaspidospermidine-3-carboxylate NSC646973