AIDS-144272 AIDS144272 Methyl dibenzylphosphinate NSC666478