AIDS-018739 AIDS018739 beta-Benzylaminocrotonophenone