4-Isobutyl-1-methyleneoctahydro-4.lambda.~5~-pyrrolizine 62934-56-9 AIDS-128069 AIDS128069 NSC211503