The stereochemistry of quinolizidine and octahydropyrocoline