AIDS-092875 AIDS092875 Phenyl-(1-propyl-but-3-enyl)-amine