We do not currently know of any synonyms for dehydrocholesterol.
The noun dehydrocholesterol is defined as: