AIDS-018004 AIDS018004 Dimesitylpropanetrione