4-(1,3-Benzoxazol-2-yl)-1-(2,6-diisopropylphenyl)-2,3,5,6-piperidinetetrone AIDS-131426 AIDS131426 NSC623727