Lead tetraacetate oxidation of the Diels-Alder adduct of 7-dehydrocholestryl acetate with maleic anhydride
