Dehydration of bile acids and their derivatives XI. A novel route to 3α-hydroxychol-11-enic acid from deoxycholic acid