AIDS-184819 AIDS184819 Benzo[b]thiophene-2-butanoic acid, 4,5,6,7-tetrahydro-alpha,gamma-dioxo-4-phenyl-