AIDS-153349 AIDS153349 NSC699827 tert-Butyl 3,5-diphenyl-1-pyrazolidinecarboxylate