AIDS-095083 AIDS095083 Ethyl mercapto .alpha.-ethyl butyrate Thioethyl compound