1-(Dodecylmercapto)-3-buten-2-ol AIDS-018227 AIDS018227