3,5-Di(5-hexenyl)hexahydro-1H-pyrrolizine AIDS-137962 AIDS137962 NSC643727