5-(3-(2-Naphthyl)-3-oxopropyl)-2,4,6(1H,3H,5H)-pyrimidinetrione AIDS-139033 AIDS139033 NSC647107