2H-2,12-Methanoindolo[2,3-a]quinolizine-13-methanol, 3-ethylidene-1,3,4,6,7,12b-hexahydro-, (3Z)- AIDS-135238 AIDS135238 NSC634630 Normavacurine