AIDS-017617 AIDS017617 Delta-5-Cholestene-3-carboxylic acid