12H-2,7a-Ethenoindolizino[8a,1-b]indole-14-methanol, 3-ethylidene-1,2,3,4,6,7-hexahydro-, (3Z)- AIDS-135239 AIDS135239 Minfiensine NSC634631