Bergman cyclizations