7-Indolizinecarbonitrile, 1-formyl-2,3-diphenyl- AIDS-120502 AIDS120502