Sterol biosynthesis: Establishment of the structure of 3β-p-bromobenzoyloxy-5α-cholest-8(14)-en-15β-ol