5.5.1.16 geranylgeranyl diphosphate = tuberculosinyl diphosphate - -