cyclododecatrienes