TIBO derivatives: a new class of highly potent and specific inhibitors of HIV-1 replication. (May 1992)