Reaction catalyzed by halimadienyl-diphosphate synthase (5.5.1.16)
=
geranylgeranyl diphosphate
=
tuberculosinyl diphosphate