Synonyms:
(24s)-24-ethyl-22,23,25,27-tetradehydrocholesterol ; 25-dehydroporiferasterol ; stigmasta-5,22,25-trien-3b-ol, (24s)- (8ci) ; (24s)-ethylcholesta-5,22,25-trien-3b-ol ; 22-dehydroclerosterol ; (24s)-stigmasta-5,22,25-trien-3?-ol ; 25(27)-dehydroporiferasterol ; (24s)-24-ethylcholesta-5,22,25-trien-3b-ol