下列何者是膽固醇之衍生物?