AIDS-139062 AIDS139062 Dibenzyl 3,4-dioxohexanedioate NSC647158