AIDS-134436 AIDS134436 Cholest-5-en-3-yl dihydrogen phosphate Cholesterol phosphate NSC632305