Semi‐, Mono‐, Sesqui‐, and Triterpenes as Cholesterol Precursors