AIDS-017462 AIDS017462 o-Thiocarbamylacetanilide