(13R)-edaxadiene + diphosphate => tuberculosinyl diphosphate + H2O
(13r)-edaxadiene + diphosphate => tuberculosinyl diphosphate + h2o
(13R)-edaxadiene + diphosphate => tuberculosinyl diphosphate + H2O
(13r)-edaxadiene + diphosphate => tuberculosinyl diphosphate + h2o