AIDS-018459 AIDS018459 beta-Ureidocrotonic acid, ethyl ester