3'H-Cycloprop(1,2)-5alpha-cholest-1-en-3-one, 1',1'-dicarboethoxy-1beta ...