diphenylmagnesium