AIDS-081872 AIDS081872 Butane-1,4-dithiol Dithiol deriv.