AIDS-186172 AIDS186172 Butyl .beta.-D-glucopyranoside