AIDS-139709 AIDS139709 Diethyl 2-(3-(1-hydroxy-2-naphthyl)-3-oxopropyl)-3-oxosuccinate NSC649563