pentadecanol Synonyms