Arens–Van Dorp synthesis