Epidihydrocholesterin [JAN]