2,4-Dioxobutanoic acid derivative AIDS-107392 AIDS107392