4.2.3.136 (2E,6E)-farnesyl diphosphate = (-)-alpha-isocomene + diphosphate