1-Heptadecyloctadecyl dihydrogen phosphate AIDS-132117 AIDS132117 NSC625450