8-Methyl-6-(2-methylhexylidene)octahydro-7,8-indolizinediol AIDS-153203 AIDS153203 NSC699383