3(beta)-Chloro-D & C94elta5-cholestene AIDS-017530 AIDS017530