2,3-Disulfanylpropyl naphthalenecarboxylate AIDS-081943 AIDS081943 Disulfanyl deriv.