diene synthesis