AIDS-134433 AIDS134433 Cholest-5-en-3-yl trihydrogen diphosphate NSC632300