2-Oxopomolic acid AIDS-070393 AIDS070393