7-Indolizinecarbonitrile, 1-benzoyl-2,3-diphenyl- AIDS-120772 AIDS120772