AIDS-180917 AIDS180917 Piperidine, 4-[[4-[(3-ethyl-4-methylphenyl)amino]-3,6-dihydro-2,6-dioxo-1(2H)-pyrimidinyl]methyl]-1-(5-isoxazolylcarbonyl)-