Synthetic studies toward the PPAP natural products, prolifenones A and B and hyperforin: an Effenberger cyclization approach