AIDS-051557 AIDS051557 Piperazine, 2-decyl-1,4-bis(3,4,5-trimethoxybenzoyl)-