4-Methyl-2,2-diphenyl-1,2,3,4-tetrahydro-2.lambda.~5~-isophosphinoline AIDS-128416 AIDS128416 NSC273810