AIDS-104178 AIDS104178 trans-Vinyl (bis-imidazoles)-lexitropsin deriv