Editorial commentary: The optimal dose of penicillin when treating syphilis in HIV-infected persons: enough, already?