ID 3.1.7.9 DE isotuberculosinol synthase. CA tuberculosinyl diphosphate + H2O = (13S)-isotuberculosinol + diphosphate. //