AIDS-168732 AIDS168732 tert-Butyl 4-[[3-(isopropylsulfonyl)phenyl](2-naphthylmethyl)amino]-2,4-dioxobutanoate