「セドレノール」の名称で市販されているものでも、本物質を主成分としていることがある。