A synthesis of the tricyclic pyrroloquinoline core of martinelline