preferred_name: (13R)-edaxadiene + diphosphate => tuberculosinyl diphosphate + H2O
preferred_name_lc: (13r)-edaxadiene + diphosphate => tuberculosinyl diphosphate + h2o
label: (13R)-edaxadiene + diphosphate => tuberculosinyl diphosphate + H2O
label_lc: (13r)-edaxadiene + diphosphate => tuberculosinyl diphosphate + h2o