4.2.3.17 geranylgeranyl diphosphate = taxa-4,11-diene + diphosphate - -