AIDS-168700 AIDS168700 Methyl 4-[(3-methylbut-2-en-1-yl)(2-naphthylmethyl)amino]-2,4-dioxobutanoate