cholane allyl alcohol allocholesterol chlorocholestane cholyl monochloroalkane alkylalane dibromocholestane alane cyclocholestane