michael addition and robinson annulation