AIDS-168729 AIDS168729 tert-Butyl 4-[{3-[(4-hydroxypiperidin-1-yl)carbonyl]phenyl}(2-naphthylmethyl)amino]-2,4-dioxobutanoate