Total synthesis of dl-pentalenolactone