AIDS-189024 AIDS189024 Cholesterol oxidase