The Stereochemical Course of the Addition of Halogens to Cholesterol