1,4-Disulfanylbutan-2-ol AIDS-081893 AIDS081893 Disulfanyl deriv.