4-(Trifluoroacetamido)-3-isoxazolidone AIDS-010862 AIDS010862 Cycloserine analog