The isoxazoline route to the hypocholesterolemic agent compactin: use of the isoxazoline as a 1,3-diene equivalent