AIDS-137955 AIDS137955 Methyl 3-(hydroxymethyl)cholan-24-oate NSC643717