Sterols. LXXV. Cholesterol Derivatives