1-Oxa-2-phosphaspiro[4.4]non-3-en-2-ol 2-oxide AIDS-144355 AIDS144355 NSC666665