dextropinene

not defined yet