4.2.3.168 geranylgeranyl diphosphate = (3E,7E)-dolathalia-3,7,11-triene + diphosphate - -