AIDS-070594 AIDS070594 N-[(Cyclohexylsulfonyl)amino]-4-piperidylcarboxamide