Total synthesis of (+)-jatropholones A and B. Exploitation of the high-pressure technique