First total synthesis of the irciniasulfonic acids