cholecarciferol Synonyms