AIDS-209139 AIDS209139 Benzo[b]thiophene-2-carboxylic acid