5,5-Diethyl-2-phenoxy-1,3,2-dioxaphosphinane 2-oxide AIDS-124272 AIDS124272 NSC19707