ketofucosterol CASNo 56143-35-2