AIDS-168733 AIDS168733 tert-Butyl 4-{(2-naphthylmethyl)[4-(pyrrolidin-1-ylsulfonyl)phenyl]amino}-2,4-dioxobutanoate