AIDS-018795 AIDS018795 alpha-Ethyl-2-thenylamine