Hypocholesterolemic Agents. I. 20α-(2-Dialkylaminoethyl)aminopregn-5-en-3β-ol Derivatives