10-Phenyl-5,10-dihydrophenophosphazine AIDS-144280 AIDS144280 NSC666487