4-(2-Benzyl-thiophen-3-yl)-2,4-dioxo-butyric acid AIDS-105220 AIDS105220