AIDS-138632 AIDS138632 Diethyl 1-propynyl phosphate NSC645868