17-BETA-ETHYLETIOCHOLANE