3,12-Bis(acetyloxy)-24,24-diphenylchol-23-en-7-yl acetate 51102-05-7 AIDS-128234 AIDS128234 NSC247463