Diketopiperazine derivatives, a new series of platelet-activating factor inhibitors.