The stereochemistry of the β-hydroxyleucine unit of frangulanine