AIDS-184807 AIDS184807 Thieno[2,3-b]thiophene-2-butanoic acid, 3,4-dimethyl-alpha,gamma-dioxo-