AIDS-017942 AIDS017942 p-Chlorobutyrophenone